Plasma wake inhibition at the collision of two laser pulses in an underdense plasma

An electron injector concept for laser-plasma accelerator was developed in ref [1] and [2] ; it relies on the use of counter-propagating ultrashort laser pulses. In [2], the scheme is as follows: the pump laser pulse generates a large amplitude laser wakefield (plasma wave). The counter-propagating injection pulse interferes with the pump laser pulse to generate a beatwave pattern. The ponderomotive force of the beatwave is able to inject plasma electrons into the wakefield. We have studied this injection scheme using 1D Particle in Cell (PIC) simulations. The simulations reveal phenomena and important physical processes that were not taken into account in previous models. In particular, at the collision of the laser pulses, most plasma electrons are trapped in the beatwave pattern and cannot contribute to the collective oscillation supporting the plasma wave. At this point, the fluid approximation fails and the plasma wake is strongly inhibited. Consequently, the injected charge is reduced by one order of magnitude compared to the predictions from previous models.Comment: 4 pages, 4 figure

Quasimonoenergetic electron beams produced by colliding cross-polarized laser pulses in underdense plasmas

The interaction of two laser pulses in an underdense plasma has proven to be able to inject electrons in plasma waves, thus providing a stable and tunable source of electrons. Whereas previous works focused on the "beatwave" injection scheme in which two lasers with the same polarization collide in a plasma, this present letter studies the effect of polarization and more specifically the interaction of two colliding cross-polarized laser pulses. It is shown both theoretically and experimentally that electrons can also be pre-accelerated and injected by the stochastic heating occurring at the collision of two cross-polarized lasers and thus, a new regime of optical injection is demonstrated. It is found that injection with cross-polarized lasers occurs at higher laser intensities.Comment: 4 pages, 4 figure

Energy boost in laser wakefield accelerators using sharp density transitions

The energy gain in laser wakefield accelerators is limited by dephasing between the driving laser pulse and the highly relativistic electrons in its wake. Since this phase depends on both the driver and the cavity length, the effects of dephasing can be mitigated with appropriate tailoring of the plasma density along propagation. Preceding studies have discussed the prospects of continuous phase-locking in the linear wakefield regime. However, most experiments are performed in the highly non-linear regime and rely on self-guiding of the laser pulse. Due to the complexity of the driver evolution in this regime it is much more difficult to achieve phase locking. As an alternative we study the scenario of rapid rephasing in sharp density transitions, as was recently demonstrated experimentally. Starting from a phenomenological model we deduce expressions for the electron energy gain in such density profiles. The results are in accordance with particle-in-cell simulations and we present gain estimations for single and multiple stages of rephasing

An Entailment Relation for Reasoning on the Web

Reasoning on the Web is receiving an increasing attention because of emerging fields such as Web adaption and Semantic Web. Indeed, the advanced functionalities striven for in these fields call for reasoning capabilities. Reasoning on the Web, however, is usually done using existing techniques rarely fitting the Web. As a consequence, additional data processing like data conversion from Web formats (e.g. XML or HTML) into some other formats (e.g. classical logic terms and formulas) is often needed and aspects of the Web (e.g. its inherent inconsistency) are neglected. This article first gives requirements for an entailment tuned to reasoning on the Web. Then, it describes how classical logic’s entailment can be modified so as to enforce these requirements. Finally, it discusses how the proposed entailment can be used in applying logic programming to reasoning on the Web

Anticorrelation between Ion Acceleration and Nonlinear Coherent Structures from Laser-Underdense Plasma Interaction

In laser-plasma experiments, we observed that ion acceleration from the Coulomb explosion of the plasma channel bored by the laser, is prevented when multiple plasma instabilities such as filamentation and hosing, and nonlinear coherent structures (vortices/post-solitons) appear in the wake of an ultrashort laser pulse. The tailoring of the longitudinal plasma density ramp allows us to control the onset of these insabilities. We deduced that the laser pulse is depleted into these structures in our conditions, when a plasma at about 10% of the critical density exhibits a gradient on the order of 250 {\mu}m (gaussian fit), thus hindering the acceleration. A promising experimental setup with a long pulse is demonstrated enabling the excitation of an isolated coherent structure for polarimetric measurements and, in further perspectives, parametric studies of ion plasma acceleration efficiency.Comment: 4 pages, 5 figure

Short Intense Laser Pulse Collapse in Near-Critical Plasma

It is observed that the interaction of an intense ultra-short laser pulse with an overdense gas jet results in the pulse collapse and the deposition of a significant part of energy in a small and well localized volume in the rising part of the gas jet, where the electrons are efficiently accelerated and heated. A collisionless plasma expansion over 150 microns at a sub-relativistic velocity (~c/3) has been optically monitored in time and space, and attributed to the quasistatic field ionization of the gas associated to the hot electron current. Numerical simulations in good agreement with the observations suggest the acceleration in the collapse region of relativistic electrons, along with the excitation of a sizeable magnetic dipole that sustains the electron current over several picoseconds. Perspectives of ion beam generation at high repetition rate directly from gas jets are discussed

Where Fail-Safe Default Logics Fail

Reiter's original definition of default logic allows for the application of a default that contradicts a previously applied one. We call failure this condition. The possibility of generating failures has been in the past considered as a semantical problem, and variants have been proposed to solve it. We show that it is instead a computational feature that is needed to encode some domains into default logic

Planning in action language BC while learning action costs for mobile robots

The action language BC provides an elegant way of formalizing dynamic domains which involve indirect effects of actions and recursively defined fluents. In complex robot task planning domains, it may be necessary for robots to plan with incomplete information, and reason about indirect or recursive action effects. In this paper, we demonstrate how BC can be used for robot task planning to solve these issues. Additionally, action costs are incorporated with planning to produce optimal plans, and we estimate these costs from experience making planning adaptive. This paper presents the first application of BC on a real robot in a realistic domain, which involves human-robot interaction for knowledge acquisition, optimal plan generation to minimize navigation time, and learning for adaptive planning